Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
formal category theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/211)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Adjoint functor theorems for lax-idempotent pseudomonads
Arkor, Nathanael
;
Di Liberti, Ivan
;
Loregian, Fosco
Theory and Applications of Categories
2024
/
p. 667-685
http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
The formal theory of relative monads
Arkor, Nathanael
;
McDermott, Dylan
Journal of pure and applied algebra
2024
/
art. 107676, 107 p. : ill
https://doi.org/10.1016/j.jpaa.2024.107676
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
211
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
aspect category
6.
assessment category
7.
bimonoidal category
8.
closed category
9.
cocomplete category
10.
cyclic category
11.
double category
12.
duplicial category
13.
free monoidal category
14.
Locally graded category
15.
monoidal category
16.
omega-category
17.
orbit category
18.
skew-monoidal category
19.
slice 2-category
20.
slice category
21.
symmetric monoidal category
22.
triangulated category
23.
2-category
24.
Automata, Formal Verification
25.
Formal
26.
formal and combined safety elements
27.
formal and informal
28.
formal concept analysis
29.
formal education
30.
formal ferification
31.
formal languages
32.
formal logic
33.
formal methods
34.
formal PMS
35.
formal rationality
36.
formal reasoning
37.
formal revolution
38.
formal semantics
39.
formal specification
40.
formal verification
41.
mandatory formal concepts
42.
non-formal education
43.
rigorous formal diagrammatic system
44.
top-K formal concepts
45.
a coherent theory of proofs
46.
activity theory
47.
adaptive structuration theory (AST)
48.
algebraic number theory
49.
algebraic theory
50.
algorithm design and theory
51.
beam theory
52.
behavioral reasoning theory
53.
bicategory theory
54.
Biot theory
55.
Bond theory
56.
Boolean Algebra Meets Graph-Theory
57.
catastrophe theory
58.
chaos theory
59.
coding theory
60.
cognitive theory
61.
commitment theory
62.
communication channels (information theory)
63.
Complex systems theory
64.
complexity leadership theory
65.
complexity theory
66.
computation theory
67.
computer softwaregraph theory
68.
conservation of resources theory
69.
Consumer Culture Theory
70.
control theory
71.
Cooper-Helmstetter cell cycle theory
72.
cosmology theory
73.
cosmology: theory
74.
critical theory of technology
75.
cultural theory of international relations
76.
dark matter theory
77.
decision theory
78.
Dempster-Shafer theory
79.
Demster-Shafer Theory
80.
density functional theory
81.
density functional theory (DFT)
82.
dependent type theory
83.
design theory
84.
development theory
85.
Digital Government Theory: Development and Application
86.
dispersive theory
87.
domain theory
88.
ecological systems theory
89.
economic theory
90.
end of theory
91.
energetic impact theory
92.
Euler Bernoulli beams theory
93.
evolutionary theory of policy capacity
94.
Flow theory
95.
fully nonlinear potential theory
96.
game theory
97.
general systems theory
98.
general theory of information transfer
99.
general vibration theory
100.
graph theory
101.
gravitational waves / theory
102.
grounded theory
103.
group theory
104.
group threat theory
105.
higher-order beam theory
106.
History and Theory
107.
homotopy theory
108.
homotopy type theory
109.
housemoney effect prospect theory
110.
iceberg theory of culture
111.
image theory
112.
information theory
113.
innovation theory
114.
institutional theory
115.
intellectual capital theory
116.
interdependence theory
117.
inverse problem theory/applications
118.
inverse problems theory/applications
119.
job search theory
120.
language theory
121.
Lawvere theory
122.
layer-wise displacement theory
123.
linear systems theory
124.
macro-foundational theory
125.
maritime investment theory
126.
mechanism design theory
127.
meso-foundational theory
128.
micro-foundational theory
129.
middle-range theory
130.
mindlin plate theory
131.
modern portfolio theory
132.
network theory
133.
nonlinear shallow water theory
134.
nonlinear shallow-water theory
135.
nonlinear strip theory
136.
nonlinear theory
137.
normal torsion theory
138.
number theory
139.
organismic integration theory
140.
organization theory
141.
organizational theory
142.
peer‐to‐peer theory
143.
perceived customer value theory
144.
phase field theory
145.
picture theory
146.
protection motivation theory
147.
proto-theory of design
148.
punctuated equilibrium theory
149.
rational choice theory
150.
real options theory
151.
realization theory
152.
reduction theory
153.
refined zigzag theory
154.
regulatory focus theory
155.
sampling theory
156.
scapegoat theory
157.
search and matching theory
158.
self-determination theory
159.
self-determination theory of work motivation
160.
set theory
161.
shallow water theory
162.
shallow‐water theory
163.
sign theory
164.
signalling theory
165.
social exchange theory
166.
social identity theory
167.
social practice theory
168.
social presence theory
169.
social representation theory
170.
social system theory
171.
social systems theory
172.
sociological curriculum theory
173.
S-O-R theory
174.
speech-act theory
175.
stakeholder theory
176.
Stakeholder-oriented decision theory
177.
State Theory
178.
stimulus-organism-response theory
179.
stochastic learning theory
180.
strategic narrative theory
181.
strategic narrative theory
182.
Straussian theory model
183.
structuration theory
184.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
185.
switching theory
186.
synchronous reference frame theory
187.
system theory
188.
systems theory
189.
the RAT theory
190.
theory
191.
theory and practice of meta-modelling with application in healthcare
192.
theory building
193.
theory of accounting
194.
Theory of computation
195.
Theory Of Constraints (TOC)
196.
theory of economic development
197.
theory of inventive problem solving (TRIZ)
198.
theory of natural disaster
199.
Theory of paradox
200.
theory of planned behavior
201.
theory of planned behaviour
202.
theory of signs
203.
theory of value
204.
theory selection
205.
ticked cubical type theory
206.
time-dependent density functional theory (TD-DFT)
207.
type theory
208.
unified theory of acceptance and use of technology
209.
value theory
210.
virtual disc theory
211.
2D+T theory
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT