isomorphisms
2010-06-02 9:34 UTC (6+ messages)
` Equality and fibration
Isomorphisms of categories
2010-06-02 7:03 UTC (9+ messages)
` covering spaces and groupoids
Fwd: New appointment
2010-06-02 1:38 UTC
Re terminology:
2010-06-01 18:22 UTC (34+ messages)
` terminology
` equivalence terminology
` we do meet isomorphisms of categories
` Equality again
` Re: terminology
Deadline Approaching - SBMF 2010 - 13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS
2010-06-01 13:13 UTC
CT 2010 - Preliminary Program and Last Call for Registration
2010-06-01 10:40 UTC
filtered monads? [resent]
2010-06-01 1:11 UTC (6+ messages)
` filtered monads?
Types Meeting 2010
2010-05-31 14:02 UTC
GAMES 2010 - Second call for Papers
2010-05-30 14:33 UTC
Announcement: Florence category Day - June 16. 2010
2010-05-29 10:06 UTC
Straw man terminology
2010-05-27 22:30 UTC (4+ messages)
` "
terminology
2010-05-27 18:31 UTC
Preprint: Local fibered right adjoints are polynomial
2010-05-27 11:53 UTC
Straw man terminology
2010-05-27 8:44 UTC
Straw man terminology
2010-05-27 3:31 UTC
filtered monads?
2010-05-27 3:06 UTC
FICS 2010, last call for contributions
2010-05-26 21:41 UTC
Straw man terminology
2010-05-26 13:48 UTC (3+ messages)
presentable vs. locally presentable
2010-05-25 18:15 UTC
presentable vs. locally presentable
2010-05-25 18:10 UTC (2+ messages)
algebraic models of homotopy types, crossed modules and the free loop space
2010-05-25 13:48 UTC
lax V-functors
2010-05-24 18:09 UTC (2+ messages)
Associahedra and weak monoidal structures on categories
2010-05-24 11:20 UTC
"injective" terminology
2010-05-22 20:50 UTC
"injective" terminology
2010-05-22 17:08 UTC (8+ messages)
Call for Participation: 20th WADT, July 1-4, 2010
2010-05-21 12:30 UTC
"injective" terminology
2010-05-19 7:44 UTC
The stabilisation theorem
2010-05-18 3:27 UTC (3+ messages)
Call for participation: VTSA 2010 Summer School on Verification Technology, Systems & Applications
2010-05-17 9:23 UTC
bilax monoidal functors
2010-05-16 23:57 UTC (3+ messages)
` bilax_monoidal_functors?=
terminology
2010-05-16 12:44 UTC
autonomous terminology
2010-05-16 6:19 UTC (3+ messages)
` Words, sets, categories, and graphs
RE : bilax monoidal functors
2010-05-15 19:52 UTC (28+ messages)
` autonomous terminology: WAS: "
` bilax_monoidal_functors?=
` bilax_monoidal_functors
` terminology (was: bilax_monoidal_functors)
` terminology
` bilax monoidal functors
` calculus, homotopy theory and more
` calculus, homotopy theory and more (corrected)
` bilax_monoidal_functors?
bilax_monoidal_functors
2010-05-15 16:23 UTC
Re: bilax_monoidal_functors
2010-05-15 4:44 UTC
"compact", "rigid", or "autonomous"?
2010-05-14 15:34 UTC (2+ messages)
terminology (was: bilax_monoidal_functors)
2010-05-14 14:43 UTC
EPEW 2010 -- last call for papers (deadlines May 27-31)
2010-05-13 17:41 UTC
calculus, homotopy theory and more
2010-05-13 17:29 UTC
hexagon axioms, stabilization
2010-05-13 14:43 UTC
Q. about monoidal functors
2010-05-13 1:46 UTC (5+ messages)
` Q about_monoidal_functors?
` wrong axioms
Where can i find the Grothendiecks function-sheaf dictionary?
2010-05-13 1:21 UTC
ICALP 2010 - CALL FOR PARTICIPATION
2010-05-12 15:43 UTC
autonomous terminology: WAS: bilax monoidal functors
2010-05-11 22:04 UTC
bilax_monoidal_functors
2010-05-11 1:04 UTC
bilax monoidal functors
2010-05-10 16:12 UTC (7+ messages)
Call for Papers - BRAZILIAN SYMPOSIUM ON FORMAL METHODS (SBMF 2010)
2010-05-07 21:27 UTC
LFMTP 2010 at FLoC: Call for participation
2010-05-07 16:50 UTC
Four problems
2010-05-07 15:21 UTC (8+ messages)
` RE : categories: "
` Four problems corrected
` Four problems(corrected2)
` Re=3A_Four_problems=28corrected2=29?=
Q. about monoidal functors
2010-05-07 14:59 UTC (3+ messages)
` bilax "
call for participation GandALF 2010
2010-05-07 12:05 UTC
Remembrances of times past
2010-05-07 0:33 UTC
CT2010 - Reminder
2010-05-05 16:13 UTC
PhD place Available
2010-05-05 15:32 UTC
Call for Proposals/Participation: Training Camp and Doctoral Programme at CICM (Paris, July 6-9)
2010-05-05 15:26 UTC
SCTS (Edinburgh, 21st May): Programme and call for participation
2010-05-05 11:55 UTC
Infinitary operations on C(X)
2010-05-04 11:30 UTC
Infinitary operations on C(X)
2010-05-04 6:08 UTC (2+ messages)
fundamental localic groupoid?
2010-05-03 21:59 UTC (13+ messages)
` RE : categories: Re: fundamental localic groupoi
` fundamental_localic_groupoid?
` Re fundamental localic groupoid?
WADT 2010
2010-05-03 12:40 UTC
Re: fundamental localic groupoid?
2010-05-02 15:14 UTC
Category Theory and Philosophy of Mathematics Today
2010-05-01 21:45 UTC
Riemann question
2010-05-01 8:55 UTC
FICS 2010: 2nd Call for Contributions
2010-05-01 6:57 UTC
Membranes and monads
2010-04-30 21:16 UTC
need pointers to literature on category theoretic presentation of co-algebras
2010-04-29 21:55 UTC
Iterating the fundamental groupoid
2010-04-29 9:02 UTC
iterating the fundamental groupoid does not work, so
2010-04-29 0:28 UTC (2+ messages)
PCA 2010 (a LICS 2010-affiliated workshop at FLoC 2010)
2010-04-27 17:28 UTC
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).